ESPACIOP

ESPACIOP
En teoría de la complejidad computacional, la clase ESPACIOP (PSPACE en inglés) es el conjunto de los problemas de decisión que pueden ser resueltos por una máquina de Turing determinista en espacio polinomial y tiempo ilimitado. La definición no depende del carácter determinista de la máquina de Turing (esto es un corolario del teorema de Savitch). De manera que ESPACIOP = ESPACIONP. El conjunto ESPACIOP es un subconjunto estricto del conjunto de lenguajes sensitivos al contexto. Las siguientes inclusiones han sido demostradas:(la inclusión estricta se denota ⊂): NCPNP ⊆ ESPACIOP

Enciclopedia Universal. 2012.

Игры ⚽ Нужна курсовая?

Mira otros diccionarios:

  • ESPACIOP — Saltar a navegación, búsqueda En teoría de la complejidad computacional, la clase ESPACIOP (PSPACE en inglés) es el conjunto de los problemas de decisión que pueden ser resueltos por una máquina de Turing determinista en espacio polinomial (S(n) …   Wikipedia Español

  • ESPACIOP-completo — En teoría de la complejidad computacional, la clase de complejidad ESPACIOP completo (PSPACE complete en inglés) es el subconjunto de los problemas de decisión en ESPACIOP y todo problema en ESPACIOP puede ser reducido a él en tiempo polinomial.… …   Enciclopedia Universal

  • Clases de complejidad — Anexo:Clases de complejidad Saltar a navegación, búsqueda Esta es la lista de clases de complejidad en teoría de la complejidad computacional. Muchas de estas clases tienen una co clase que contiene los problemas complementarios a los de la clase …   Wikipedia Español

  • Clase de complejidad — En teoría de la complejidad computacional, una clase de complejidad es un conjunto de problemas de decisión de complejidad relacionada. Una clase de complejidad tiene una definición de la forma: el conjunto de los problemas de decisión que pueden …   Wikipedia Español

  • ESPACIONP — Saltar a navegación, búsqueda En teoría de la complejidad computacional, la clase de complejidad ESPACIONP (NPSPACE en inglés) es el conjunto de los problemas de decisión que pueden ser resueltos en una máquina de Turing no determinista en… …   Wikipedia Español

  • ESPACIONP — En teoría de la complejidad computacional, la clase de complejidad ESPACIONP (NPSPACE en inglés) es el conjunto de los problemas de decisión que pueden ser resueltos en una máquina de Turing no determinista en espacio polinómico y tiempo… …   Enciclopedia Universal

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”